31![Aydin M o hse n i Contact Information address Department of Logic and Philosophy of Science Aydin M o hse n i Contact Information address Department of Logic and Philosophy of Science](https://www.pdfsearch.io/img/42972772118fb0782d04c1101c9b8550.jpg) | Add to Reading ListSource URL: aydinmohseni.comLanguage: English - Date: 2015-09-20 14:52:00
|
---|
32![Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA](https://www.pdfsearch.io/img/249698d9b2fdfcfbef7979170afa5089.jpg) | Add to Reading ListSource URL: peek.uwplse.orgLanguage: English - Date: 2016-08-08 16:17:02
|
---|
33![In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract](https://www.pdfsearch.io/img/c3dcaaf619366ac1d274c79233165f5c.jpg) | Add to Reading ListSource URL: www2.lingfil.uu.seLanguage: English - Date: 2014-10-16 02:36:17
|
---|
34![Contractibility + transport ⇔ J Carlo Angiuli December 1, 2014 In MLTT, we usually define the identity type as a reflexive relation satisfying J: Γ`M :A Γ`N :A Contractibility + transport ⇔ J Carlo Angiuli December 1, 2014 In MLTT, we usually define the identity type as a reflexive relation satisfying J: Γ`M :A Γ`N :A](https://www.pdfsearch.io/img/444aabf84a9d9c2b52f163139206fbd4.jpg) | Add to Reading ListSource URL: www.carloangiuli.comLanguage: English - Date: 2015-05-08 13:33:44
|
---|
35![2015 IEEE Symposium on Security and Privacy TinyGarble: Highly Compressed and Scalable Sequential Garbled Circuits Ebrahim M. Songhori∗ , Siam U. Hussain∗ , Ahmad-Reza Sadeghi† , Thomas Schneider† , Farinaz Kous 2015 IEEE Symposium on Security and Privacy TinyGarble: Highly Compressed and Scalable Sequential Garbled Circuits Ebrahim M. Songhori∗ , Siam U. Hussain∗ , Ahmad-Reza Sadeghi† , Thomas Schneider† , Farinaz Kous](https://www.pdfsearch.io/img/08ab7f961933615c5fea0b08e42c9be7.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2015-05-11 16:43:20
|
---|
36![A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University](https://www.pdfsearch.io/img/0773d09f06c6bf839bb02380cf460873.jpg) | Add to Reading ListSource URL: www.cs.cmu.eduLanguage: English - Date: 2001-06-27 15:19:02
|
---|
37![SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany](https://www.pdfsearch.io/img/1c086f99a4e71c551c38fed2e6cb8053.jpg) | Add to Reading ListSource URL: www.dcs.bbk.ac.ukLanguage: English - Date: 2011-06-23 09:19:29
|
---|
38![](https://www.pdfsearch.io/img/b98004bd42f91c1aeb055813cf26bd76.jpg) | Add to Reading ListSource URL: www.generalsemantics.orgLanguage: English - Date: 2011-04-30 13:38:39
|
---|
39![Curriculum Vitae: Alexis C. Kaporis Contact information Address : Phone: Curriculum Vitae: Alexis C. Kaporis Contact information Address : Phone:](https://www.pdfsearch.io/img/8ca1871a0549034dc84f066d6f3f6811.jpg) | Add to Reading ListSource URL: students.ceid.upatras.grLanguage: English - Date: 2006-02-09 03:56:19
|
---|
40![Proofs and Proof Transformations for Object-Oriented Programs Martin Nordio 2009
Diss. ETH N0 18689 Proofs and Proof Transformations for Object-Oriented Programs Martin Nordio 2009
Diss. ETH N0 18689](https://www.pdfsearch.io/img/aa567adbaebfab8600d51a71091857e9.jpg) | Add to Reading ListSource URL: se.inf.ethz.chLanguage: English - Date: 2012-02-13 10:20:07
|
---|